Hoogle Overview by Neil Mitchell This article gives an overview of the Hoogle tool. We describe the history of Hoogle, the improvements that have been made this summer, and plans for future feature

Source URL: ndmitchell.com

• Software engineering
• Computer programming
• Computing
• Functional languages
• Functional programming
• Object-oriented programming languages
• Scripting languages
• Type theory
• Haskell
• Cabal
• Monad
• Type class

1 1a. Do you approve, disapprove or abstain on this NWIP? approve  *  disapprove  *  abstain  2 Please also select from one of the following options (note that if no option is selected, the default will be the fir

Source URL: www.tk322.ru

• Anarchist theory
• Politics
• Object Process Methodology
• Process management
• Project management
• Abstention
• Political philosophy
• Business

A lower bound on seller revenue in single buyer monopoly auctions Omer Tamuz∗ October 7, 2013 Abstract We consider a monopoly seller who optimally auctions a single object to a single potential

Source URL: people.hss.caltech.edu

• Mathematical analysis
• Probability
• Statistics
• Probability distributions
• Mechanism design
• Game theory
• Auction theory
• Pareto distribution
• Expected value
• Valuation
• Cumulative distribution function
• Bayesian-optimal pricing

Towards Virtual Traits in Scala Manuel Weiel Ingo Maier Sebastian Erdweg

Source URL: lampwww.epfl.ch

• Computing
• Software engineering
• Computer programming
• Object-oriented programming languages
• Type theory
• Concurrent programming languages
• Object-oriented programming
• C++
• Scala
• Trait
• Mixin
• Abstract type

PDF Document

Source URL: www.cs.umd.edu

• Type theory
• Object-oriented programming languages
• Scripting languages
• Program analysis
• Type system
• Objective-C
• Ruby
• Dynamic programming language
• Fold
• Library
• JavaScript
• Monad

Julia: A Fast Dynamic Language for Technical Computing Jeff Bezanson∗ MIT Stefan Karpinski† MIT

Source URL: karpinski.org

• Software engineering
• Computer programming
• Computing
• Type theory
• Data types
• Polymorphism
• Object-oriented programming
• Subroutines
• Covariance and contravariance
• Parameter
• Type system
• Anonymous function

Major predictions of the BSMSupergravitation unified theory: Space energy of non-EM type; supercommunication by longitudinal waves; possibility to control the gravitational mass of material object Stoyan Sarg

Source URL: www.helical-structures.org

Is it me or the world? 16-month-olds distinguish competing hypotheses about the cause of failed interventions Hyowon Gweon and Laura E. Schulz (, ) Department of Brain and Cognitive Sciences M

Source URL: sll.stanford.edu

• Infancy
• Language acquisition
• Child development
• Cognitive science
• Theory of mind
• Toy
• Infant
• Intention
• Bootstrapping
• Object permanence

A Brief Presentation of OCaml Simon Cruanes September 14, 2015 Simon Cruanes

Source URL: cedeela.fr

• Software engineering
• Computer programming
• Declarative programming
• Functional languages
• Functional programming
• Type theory
• Procedural programming languages
• OCaml
• Caml
• Standard ML
• Type variable
• Immutable object